Die Münchner Badestrände - Der Tegernsee